The branches of mathematics that study and develop the principles of mathematics for their own sake rather than for their immediate usefulness